1. Explanation and Proof in Mathematics
پدیدآورنده : \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
2. Explanation and proof in mathematics
پدیدآورنده : / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
3. Explanation and proof in mathematics
پدیدآورنده : / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
4. Explanation and proof in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Mathematics ; Philosophy. ; Beweistheorie ; swd. ; Philosophie ; swd. ;
5. Explanation and proof in mathematics: philosophical and educational perspectives
پدیدآورنده : Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,Philosophy ، Mathematics
رده :
QA
9
.
54
.
E97
2010
6. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
پدیدآورنده : edited by Alfred Driessen and Antoine Suarez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Physics- Philosophy,، Mathematics- Philosophy,، Quantum theory,، God- Proof, Ontological
رده :
QC
6
.
M357
1997
7. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
8. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
9. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
